HAS SORTING Configuration numBE = 15 numOCy = 5 hVal = 205740184 [3](4 12 8)[3](5 1 14)[3](6 13 9)[3](7 3 10)[3](11 2 0) 0: a = 4 b = 8 c = 12 move_type = 0 Configuration numBE = 15 numOCy = 5 hVal = 3439619394 [3](4 12 8)[3](9 1 14)[3](10 13 5)[3](11 3 6)[3](7 2 0) 1: a = 5 b = 10 c = 13 move_type = 2 Configuration numBE = 15 numOCy = 7 hVal = 1516592143 [3](4 7 11)[3](12 1 14)[1](5)[3](6 3 9)[3](10 2 0)[1](13)[1](8) 2: a = 4 b = 7 c = 11 move_type = 2 Configuration numBE = 15 numOCy = 9 hVal = 914968709 [1](4)[3](12 1 14)[1](9)[3](10 3 6)[3](7 2 0)[1](13)[1](5)[1](11)[1](8) 3: a = 3 b = 6 c = 10 move_type = 2 Configuration numBE = 15 numOCy = 11 hVal = 2103612845 [1](8)[3](12 1 14)[1](6)[1](3)[3](4 2 0)[1](13)[1](9)[1](11)[1](5)[1](10)[1](7)